Aarne Ranta: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Propositions as games as types

Journal:

Year:

1988

Language:

english

File:

PDF, 977 KB

english, 1988

2

Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 1.12 MB

english, 1995

3

Some remarks on pragmatics in the language of mathematics

Journal:

Journal of Pragmatics

Year:

2020

File:

PDF, 212 KB

2020

4

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 ||

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 10.55 MB

english, 2008

5

Abstract Syntax as Interlingua: Scaling Up the Grammatical Framework from Controlled Languages to Robust Pipelines

Ranta, Aarne, Angelov, Krasimir, Gruzitis, Normunds, Kolachina, Prasanth

Journal:

Computational Linguistics

Year:

2020

Language:

english

File:

PDF, 880 KB

english, 2020

6

Intuitionistic Categorial Grammar

Journal:

Linguistics and Philosophy

Year:

1991

Language:

english

File:

PDF, 3.77 MB

english, 1991

7

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || A POS-Based Word Prediction System for the Persian Language

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 231 KB

english, 2008

8

Constructing possible worlds

Journal:

Year:

1991

Language:

english

File:

PDF, 865 KB

english, 1991

9

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || Reviewing and Evaluating Automatic Term Recognition Techniques

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 633 KB

english, 2008

10

NEW DIRECTIONS IN TYPE-THEORETIC GRAMMARS || PGF: A Portable Run-time Format for Type-theoretical Grammars

Krasimir Angelov, Björn Bringert and Aarne Ranta

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 2.22 MB

english, 2010

11

Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar || Syntactic Calculus with Dependent Types

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 1.56 MB

english, 1998

12

Special Issue on Computational Semantics || Dialogue Systems as Proof Editors

Aarne Ranta and Robin Cooper

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 1.43 MB

english, 2004

13

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || Plagiarism Detection Based on Singular Value Decomposition

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 539 KB

english, 2008

14

PGF: A Portable Run-time Format for Type-theoretical Grammars

Krasimir Angelov, Björn Bringert, Aarne Ranta

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 936 KB

english, 2010

15

GF: A Multilingual Grammar Formalism

Journal:

Language and Linguistics Compass

Year:

2009

Language:

english

File:

PDF, 950 KB

english, 2009

16

One-Stage Closure of Isolated Cleft Palate with the Veau-Wardill-Kilner v to y pushback Procedure or the Cronin Modification I. Comparison of Operative Results

Heliövaara, Arja, Rintala, Aarne, Ranta, Reijo

Journal:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Year:

1993

Language:

english

File:

PDF, 575 KB

english, 1993

17

Soft tissue profile changes after Le Fort I osteotomy in UCLP patients

Arja Heliövaara, Jyri Hukki, Reijo Ranta, Aarne Rintala

Journal:

Journal of Cranio-Maxillofacial Surgery

Year:

2000

Language:

english

File:

PDF, 207 KB

english, 2000

18

Daily variation of absorption in the D-region using riometer data at high latitudes

Hilkka Ranta, Aarne Ranta

Journal:

Journal of Atmospheric and Terrestrial Physics

Year:

1977

Language:

english

File:

PDF, 187 KB

english, 1977

19

Spontaneous Narrowing Of The Palatal Cleft During The First Year Of Life: A Quantitative Study

Rintala, Aarne E., Ranta, Reijo

Journal:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Year:

1987

Language:

english

File:

PDF, 405 KB

english, 1987

20

Structural Proof Theory || PREFACE

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 261 KB

2001

21

Structural Proof Theory || INTRODUCTION

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 636 KB

2001

22

A pattern for almost compositional functions

BRINGERT, BJÖRN, RANTA, AARNE

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 214 KB

english, 2008

23

Activation of Protein Kinase-C Stimulates Human Granulosa-Luteal Cell Prostacyclin Production*

RANTA, TAPIO, HUHTANIEMI, ILPO, JALKANEN, JYRKI, KOSKIMIES, AARNE, LAATIKAINEN, TIMO, YLIKORKALA, OLAVI

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

1986

Language:

english

File:

PDF, 361 KB

english, 1986

24

On the Bone-Forming Capacity of Periosteal Flap in Surgery for Cleft Lip and Palate

Rintala, Aarne, Soivio, Atso, Ranta, Reijo, Oikari, Tuija, Haataja, Johannes

Journal:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Year:

1974

Language:

english

File:

PDF, 467 KB

english, 1974

25

Grammatical Framework

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 293 KB

english, 2004

26

Periosteal Flaps and Grafts in Primary Cleft Repair

Rintala, Aarne E., Ranta, Reijo

Journal:

Plastic & Reconstructive Surgery

Year:

1989

File:

PDF, 463 KB

1989

27

Experiences on Modelling and Simulation of Sewage and Wastewater Treatment System

Ranta, Jukka, Pingoud, Kim, Halme, Aarne

Journal:

IFAC Proceedings Volumes

Year:

1977

Language:

english

File:

PDF, 2.65 MB

english, 1977

28

Structural Proof Theory || SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 1.09 MB

2001

29

Structural Proof Theory || SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 808 KB

2001

30

Distribution of placental protein 14 in tissues and body fluids during pregnancy

MERVI JULKUNEN, EEVA-MARJA RUTANEN, AARNE KOSKIMIES, TAPIO RANTA, HANS BOHN, MARKKU SEPPÄLÄ

Journal:

BJOG: An International Journal of Obstetrics & Gynaecology

Year:

1985

Language:

english

File:

PDF, 418 KB

english, 1985

31

Satellite and ground observations of a pre-substorm phase on May 4, 1977

Ranta, Aarne, Ranta, Hilkka

Journal:

Journal of Geophysical Research

Year:

1983

Language:

english

File:

PDF, 890 KB

english, 1983

32

Structural Proof Theory || THE QUANTIFIERS

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 1.24 MB

2001

33

Effect of the Periosteal Flap Technique on Cleft Width and the Formation of Alveolar Ridge in Relation to the Bite Level in Surgery for Cleft Lip and Palate

Ranta, Reijo, Oikari, Tuija, Rintala, Aarne, Haataja, Johannes

Journal:

Scandinavian Journal of Plastic and Reconstructive Surgery and Hand Surgery

Year:

1974

Language:

english

File:

PDF, 465 KB

english, 1974

34

Periosteal Flaps and Grafts in Primary Cleft Repair

Rintala, Aarne E., Ranta, Reijo

Journal:

Plastic & Reconstructive Surgery

Year:

1989

File:

PDF, 92 KB

1989

35

Structural Proof Theory || VARIANTS OF SEQUENT CALCULI

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 1.67 MB

2001

36

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || Similarity of Names Across Scripts: Edit Distance Using Learned Costs of N-Grams

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 266 KB

english, 2008

37

A pattern for almost compositional functions

Bringert, Björn, Ranta, Aarne

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 179 KB

english, 2006

38

Structural Proof Theory || STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 1.51 MB

2001

39

Oblique lateral oro-ocular facial cleft

Ranta, Reijo, Rintala, Aarne

Journal:

International Journal of Oral & Maxillofacial Surgery

Year:

1988

Language:

english

File:

PDF, 2.25 MB

english, 1988

40

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - BNF converter

Forsberg, Markus, Ranta, Aarne

Year:

2004

Language:

english

File:

PDF, 56 KB

english, 2004

41

Structural Proof Theory || INTERMEDIATE LOGICAL SYSTEMS

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 634 KB

2001

42

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || Semantic Roles in Valency Lexicon of Czech Verbs: Verbs of Communication and Exchange

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 291 KB

english, 2008

43

Structural Proof Theory || BACK TO NATURAL DEDUCTION

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 1.88 MB

2001

44

Modular Grammar Engineering in GF

Journal:

Research on Language & Computation

Year:

2007

Language:

english

File:

PDF, 276 KB

english, 2007

45

Syntactic Calculus with Dependent Types

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 92 KB

english, 1998

46

[Lecture Notes in Computer Science] Advances in Natural Language Processing Volume 5221 || Arabic Named Entity Recognition from Diverse Text Types

Nordström, Bengt, Ranta, Aarne

Year:

2008

Language:

english

File:

PDF, 391 KB

english, 2008

47

Structural Proof Theory || CONCLUSION: DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 546 KB

2001

48

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '88, Proceedings of the Colloquium held in Padova Volume 127 || Comments in the Panel Discussion on Trends in Logic

Year:

1989

Language:

english

File:

PDF, 120 KB

english, 1989

49

Structural Proof Theory || SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR

Negri, Sara, von Plato, Jan, Ranta, Aarne

Year:

2001

File:

PDF, 478 KB

2001

50

Riometer measurements of ionospheric radio wave absorption

Hilkka Ranta, Aarne Ranta

Journal:

Journal of Atmospheric and Terrestrial Physics

Year:

1978

Language:

english

File:

PDF, 256 KB

english, 1978

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски